Minor bug fixes associated with TMalign.