Fine-tune/tweak last documentation fix. This is better!