Tiny bit of cleanup