Present to infinitive and minor typos