made a minor tweak, apparently it didn't work fine under Debian