Fixing documentation (as well as Sami can do, anyway).