Fixes #445.