it has been temporarily disabled in #406; we need to fix it however, as it is a useful regression test.