fixing formatting issues for gcc