Minor changes

- not even worth mentioning