fixed in #1983