Added note about symbol-table.h update. Additional formatting