minor fix on phpDoc