antok: added modification not done in my user directory

There seems to be wrong indentation in the two lines above.