- minor fix to a class header comment