Some cosmetics to the .m files, finished .tex