Made some minor changes. These were more or less to see if Jenkins is triggered by this commit.