Fixes #524.