# changed html instruction storage to xml; # minor changes;