small fixes to davis talk