Some documentation editing