Fix issue caught by EdenTest (cool :) thanks)