make astyle happy