docs: fixes for earlier fixes