Very small change to the doc