Sure no pb but make it explicit