Fix for #427.