Tiny documentation enhancement