Tweaks to dis12