Significance: patch
Type: dev
Comment: Just a minor change to the doc