small style changes: