typos

Signed-off-by: Mark McCahill <mark.mccahill@duke.edu>