correct some definitions