changed shiftwidth back to 4