Fixes #1093.