Minor documationation fix.