Fix phpDoc typos

Another attempt at #1532