Documentation fix

Very minor documentation fix.