update to official header like in his other contribution (nw)