test for #414 which doesn't seem to be failing anymore.