header.h: fix outdated comment