Minor deletion of comments