correcting compilation warnings (Theodor)