fix minor typo

Just saw you mention this at UW, looks interesting!