Fixed libmal's debugging statements