Get rid of a nasty debugging message which was forgotten here...