some more astyle formatting