Doc fixes (thanks to Rafał Babinicz)