Fixes #402.