Tiny code cleanup for phpmd