minor phpDoc fix