Exact enumeration of Hamiltonian walks on the 4 x4 cube and applications to protein folding (Corrigendum for vol 46, 485001, 2013)