Lazy fix to add definitions