reformatted header for neater source code