Error in the last version

I never realized that the last version wasn't even working because of a
missing modification. Sorry about that, this version should now be
stable.