Fixed L0Dist in MCRL