Small changes, cleaned up MIML, clearer output