update indentation, fix bug in EnsoMain