#533 reproduced