Fixes #308.