Tiny documentation addition