bumping version number

I tagged the previous version without bumping this number, so now
we have version 2.0.2