Tiny documentation amendment.