fixed in #537