tweak documentation

2 jobs for develop in 4 minutes and 30 seconds (queued for 2 seconds)