Petty detail in example code.