dalek-push.txt: fix port numbers