made simple changes to genfaults