Format check: New checks, fix old checks