Are top-ups to senior health care workers going to be cut?