Made the implicit formats more precise, less general