Removing a tiny bit of cruft.