a tiny bit of cleanup