Some minor changes in INFO setter and getter