#143: remove debug lines