phpDoc tweaks