make tests green again

This commit is contained in:
Andreas Rumpf 2016-02-29 14:39:38 +01:00
commit e50a7af5e2