antok: added modification not done in my user directory

Got it!