Slight update to documentation
9.3 compilation errors fixed