Proper error assertion