http-push.c: style fixes