Fixed some unseen compiler warnings discovered using TiCS