little changes

I don't remember making these changes :-)