more additions to Mathieu.ijs