#277: remove debug lines