#717 reproduced
fixes #717