Tweak doc #5