Correcting syntax mistakes in documentation