minor changes + documentation of greater