minor style changes in rot