Fixes #14.