Minor correrctions to documentation