Very minor file cleanup