Fix check_001, check_013