reproduces #62