corrects Hoppes' bio, fixes typos in docs