fixed typos in post_inst_notes