Fixes #473.