Minor change to header guard