The empirical distribution function and the plug-in principle