Minor documentation fix.