v0.5.1: Fix #9245: Not possible to disable plugin