Removed a tiny bit of cruft.