Fix no-return bug