avoid annoying but harmless compiler warning