#572 reproduced
#572 fixed