fixes #1415