Fixing phpDoc