fixes #1401