Release 0.7: tagging released revision