fixed stupid bug in symbolic path traversal