fixes #1288