fix bug in fact addition