Fix awk syntax