Oops, fix bug in without