Fix for weird warning