Minor updates in Duncan.v