Fixes a compliation error