GranitePluginManager: minor formatting nitpicking