Remove deletion that I missed during manual merge of #3