fixed in #856