incorporate teuns fixes