added corresponding option to header file

this is matched in body file