Follow Mininet's coding style