Reinstate lines accidentally deleted during Heed cleanup. Thanks a lot to Gabriel Ribeiro for the fix!