fixes #1427