Correct some minor mistakes