antok: added modification not done in my user directory

Why is this line commented?