Fixes #1242.