Fix passing of some DukeScript tests