some consistency checks