Fix syntax for proc header