[µ benchmark] Minor fixes