Add comment on reversal assert