apply J-PKAKE fix to HEAD (original by Ben)