pyranha: some small cosmetic work on the sphinx docs.