Minor clarification in bismulation proof