Repaired the broken assertions from a previous pull request.