fixup! Fix get_aside to compute the definition id correctly