Doumentation fix for #652