little typo fix for 3851b264480d8eb20d881c42d7e892d12a4165ae