Moved to version 0.0.2 with fix of PropTest [skip ci]