some documentation additions