Corrections for 1fa36da5b6e4abb405283a60f647fd2434d8ff1d