P3: We should delete these autogenerated comments.