#fixes #742