jaw-awk man page fix