Closed spencerckhuang closed 4 months ago
small change per issue #1039
can discuss correctness of this change as a team, just made the PR so if we decide to go ahead all we have to do is merge it
small change per issue #1039