really minor but important documentation tweak