Fixes #462.