Small documentation tweak