Fixes #427.