Should I cover my pork tenderloin?