removed tabs from distlock.h