Problem confirmed and Andreas's fix confirmed.  close #462