Adding stuff to make sure that Binary-0-2 computes properly