A few minor warnings