some more minor changes to this file ... nothing more to say about this.