Code reformats; added readInt