A tiny bit of cleanup.