fixes #742