AdminerSQL plugin: Small fix