Merge #8720: Minor change in section name
dad932c Minor change in section name (Anders Øyvind Urke-Sætre)