Small update on documentation