mahimahi: remove accidental whitespace