some changes that I had forgotten to check in