Fix missing recorder declaration