Further non-critical doc changes