This change is harmless, but unnecessary.