minor style cleanup after HTTP rest interface merge

- no code changes
Done, sorry...