Small fix in the compilation of the deprecated 'toplevel'.