Fixed bug in antitheft.h and added comments