some small tweaks to make the doc correct