@ kernel: some bug fixed