Minor header comment tweaks