Fixed minor bugs in the reader of the input file