Updated syntax in documentation/misc/assertion.py, #884