This is correct, but it might be more future proof to do State#state{repair_mon=RepairMonitor} just in case something's added later and this goes unnoticed.