updating docco trivially