Fix: one small thing