This phpDoc is not needed since we have the type hint