fixing some stray formatting issues