Minor style improvments