clarified differences between figure labels and figures; as well as between <code> and <pre>