Fix an annoying warning