A tiny documentation edit.