left over from before #3

I hope this is the only one.