Tiny fix

Just a tiny fix that was polluting the global namespace.