Minor fix related to commented line in eRMLMC