Minor irrelevant changes