This need not be done as I've bumped up the version to 0.1.2 in PR #237 (i.e if it gets merged before this PR)