small fix to convert.awk