Fixes a warning