This should fix a build error