added 3 lines erroneusly deleted in the last commit