docs: one more minor fix