#888 reproduced