a little cleanup: