Removed duplicate definition of dot