Temporary fix to silence annoying warning