Fixed minor typo

Actual code is coming soon, I think...