Fix def bug