Exactly. The law in any sufficiently just system is always asymmetric with respect to guilt and innocence, in innocence's favour. Retroactive action should be no difference.