Fix lecture assert function