Fixes #516.