fixes #1247