ultra-trivial style fix ;)