Change the commit message of my last commit by Juri Strumpflohner