fix spurious warning in console