Fix document typo

Very minor change..