That has been fixed in #2736 already.