Some consistency checks