Remove commented code

Sorry, I left there some commented-out code...