diff --git a/buglist b/buglist
index c9f9c40..a1e3692 100644
--- a/buglist
+++ b/buglist
@@ -1,6 +1,6 @@
 =========================================================================
 
-bug 7252: 
+bug 7253: 
 todo 336:
 wish 1011:
 meh 5:
@@ -12,6 +12,70 @@ dup 50006:
 nonextend 60077:
 
 =========================================================================
+bug 7252: argument(-%i)
+
+ > AXIOM ->         complexForm(log(%i) - log(-%i))
+ > 
+ >                  0
+
+could you please file this as a bug on issuetracker? The problem is in the
+operation "argument":
+
+(8) -> argument(%i)
+
+        %pi
+   (8)  ---
+         2
+                                                     Type: Expression Integer
+(9) -> argument(-%i)
+
+        %pi
+   (9)  ---
+         2
+                                                     Type: Expression Integer
+
+the latter should be -pi/2, of course. The problem is in gaussian.spad,
+COMPCAT:
+
+       if R has TranscendentalFunctionCategory then
+         half := recip(2::R)::R
+
+         if R has RealNumberSystem then
+           atan2loc(y: R, x: R): R ==
+               pi1 := pi()$R
+               pi2 := pi1 * half
+               x = 0 => if y >= 0 then pi2 else -pi2
+
+               -- Atan in (-pi/2,pi/2]
+               theta := atan(y * recip(x)::R)
+               while theta <= -pi2 repeat theta := theta + pi1
+               while theta >   pi2 repeat theta := theta - pi1
+
+               x >= 0 => theta      -- I or IV
+
+               if y >= 0 then
+                   theta + pi1      -- II
+               else
+                   theta - pi1      -- III
+
+           argument x == atan2loc(imag x, real x)
+
+         else
+           -- Not ordered so dictate two quadrants
+           argument x ==
+             zero? real x => pi()$R * half
+             atan(imag(x) * recip(real x)::R)
+
+so the problem occurs if R does not have "RealNumberSystem":
+
+(15) -> argument(-%i*1.0)
+
+   (15)  - 1.5707963267 948966192
+
+since Float does have RNS, but INT does not. I'm not quite sure what the
+condition should be. OrderedSet?
+
+=========================================================================
 bug 7251: integrate(1/(1+z^4), z=0..1) :: Complex Float
 
 integrate(1/(1+z^4), z=0..1) :: Complex Float
diff --git a/changelog b/changelog
index cbdc3d6..bd2388c 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20140614 tpd src/axiom-website/patches.html 20140614.01.tpd.patch
+20140614 tpd buglist bug 7252: argument(-%i)
 20140613 tpd src/axiom-website/patches.html 20140613.13.tpd.patch
 20140613 tpd buglist bug 7249: radicalSolve(z^7=1, z) update
 20140613 tpd src/axiom-website/patches.html 20140613.12.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 03c5f10..9899ea6 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -4446,6 +4446,8 @@ buglist bug 7250: print(typeOf(1)::OutputForm) Value Stack Overflow
 buglist bug 7251: integrate(1/(1+z^4), z=0..1) :: Complex Float
 <a href="patches/20140613.13.tpd.patch">20140613.13.tpd.patch</a>
 buglist bug 7249: radicalSolve(z^7=1, z) update
+<a href="patches/20140614.01.tpd.patch">20140614.01.tpd.patch</a>
+buglist bug 7252: argument(-%i)
  </body>
 </html>