much typo

Signed-off-by: Jeffrey Han <jh34@princeton.edu>