Added a new TODO
Fixed a formatting issue in the example sml