minor changes to MFOTL