minor irrelevant changes