Version bump (no changes -- previous v0.2 tag went wrong)