Fixing final assertion