Thesis: add missing newline in MFS pseudocode