Fix a bug I introduced while fixing compilation warnings