All of these fields are read from the input file, right? Maybe say so in the documentation.