Not so obvious fixes in docs