debugging for FF