Minor update to header comment