small fix to use the header in orcc