Verifying PR619