You can drop these three lines :-)