Fix bug. Fixes #531.