Destination code fix

Destination print and saving functions related to else clause were
somewhat broken. Fixed.