correction in function header