small fix in muprint