FIX: added proper header to the %input.red file.