[Plugin Manager] Fix #8542