fixes #542