Tossed in a header comment