DOC: corrections and enhancements on DEVELOP