Minor fix in awkln.