Minor polish and documentation