some minor changes to get dot to work