Minor aesthetical fix