fix mostly-harmless warning