No, don't double the size AGAIN since we're already doing that.