#507 reproduced