Fixing an assertion-error