nope, remove away; somehow I missed that reference to `topLevel`