correcting a slightly wrong code location

did have no effect, but could cause trouble with future plugin
interface changes.