Small fixes in documentation