some small style improvement