silence some pedantic warnings