Small documentation additions