Documentation style tweak