Turns out nxhtml and mumamo are pretty buggy