Hopefully resolves #2.
Version bumped to 0.7.12.