manual: fixed awk problem in extract