That PR was made by me.