Documentation fix

A very minor documentation fix.