Fix bug with top-most-undefined.