Fixes #307.