Fix two small style issues