Some documentation additions