oops, that's a typo

I should have pasted it from my live session instead of retyping it.