fixed in #1368