Small fixes in doc