fix assertions syntax