Update mic-paren, so it works in v24.