DOCUMENTATION updated