Fixing CoDo doc bugs