Fix dist target.
Updated release procedure.
Version 1.13.