#534 reproduced