Made a CVS commit, which changed the source slightly:-)