Fixes #623.