Not sure. Should I explicitly set it? Do you think it should set to 0700?