Minor changes to workflow editor, some formatting changes