Tweak doc
Fix compilation for 4.02