minor bug fixed; AddressSanitizer debug added