These had somehow disappeared