A trick to silence annoying React warnings