Minor cleanup

Nothing to see here.