Minor edit fix in plugin manager (#1623)