You're right, it's cruft. Removed.