A minor compliation of bugfoot code