A few sanity checks