Merge "Slight documentation tweak" into main