#535 bug reproduced