Fixup for 0056574a