Add missing file; fix bug in reverse walking