Fix compilation of previous fix