Typo fix

Speaking of unknowns, oops!