It has been fixed in master.