nitpicky formatting stuff