http-push, http-walker: style fixes