Missed this deletion
Fixes caught by PHPMD