Fix mistake in phpDoc