Fix formatting (introducing a new concept: human-readbility)
Fix header