Bugfix: Test0 passes