fixes #1241