Fixed some small style issues related to #88