A tiny bit of cleanup