Fixed definition of TOP