Tweak the docs a bit more