Fixes #503.