fixes #1432