hopefully the last code-style fix