Must have been a glitch, I've used it there and had compilation error. Not anymore.