Minor changes

Nothing spectacular...