hopefully fixed delete; fixed blocked; introduced fixpoints