Fixes #1237.