Fix some typos in the `assertions` tool unit tests