More edits in input file documentation…