[Monica, Radu] Documentation markup fixes