remove explicit top-level specification not needed now