Minor edits, looked at mittag leffler