Fix typos: #375, #373, #377