Why do we need to visit the base visitor here?