Small fix for the pseudo plugin