got rid of a spurtious header, still need to work out why the fixed point is failing