Small corrections to comments and versioning