EXC+SML: fix refs