Comment to 'Is Jerome Mingo okay?'