minor change to header file