Tidied up the header comment