Update header.h

better notation for manipulate