Minor corrections to comment headers