Fixes #493.