Small fixes, no edits to the format