Minor tweak to p3_a.m