Proper Awk invocation.