Small fix for StaticWalk.cpp