Bug fixing: formatting docs