Documentation fixes from Lionel Guez