[#2453] Minor tweak to make the header appear how it usually appears (even though case does not matter)