fixes #1225