Add godef (didn't I do this before??)