Syntax in consistency04.md corrected