fixes #1242