#577 reproduced
#577 fixed