updated generated header after applying fix to generator