Minor formatting issues

Fixes minor formatting issues