fixing minor issue where the 'tcov' attribute is expected to always be a matrix