deletion of this code should be ok (ate 2013-04-22)