Fixes in muRascal library.