Fix a few formatting errors and vestigal code in RedLogic plugin