Added some debug code to search for the F20 bug.