in several places there was unwanted ``