Minor irrelevant changes.