Fixes #256.