Fixes #507.