* mu: small fix for compiler warning