Some refinements from Jeff's lecture