fix a typo; add formatting