Wrong documentation for LDAA

In the documentation in the GUI for the LDAA instruction (Help, Help on Topic, LDAA) there appears to be an error.

It currently says this:

Description
Load Address of Address. Pushes the address of a value relative to the address on top of the stack. This instruction effectively adds a constant to the top of the stack.

Pre and Post State
SP_post = SP_pre + 1
M_post[SP_post] = M_pre[SP_pre] + M_pre[PC_pre+1]

But actually, it doesn't push a new value onto the stack on top of the old one. Instead, it increments the value on top of the stack with the argument of LDAA. So the stack size does not increase.

So the actual pre and post states are:

SP_post = SP_pre
M_post[SP_post] = M_pre[SP_pre] + M_pre[PC_pre+1]

Changing the documentation (and not the implementation of LDAA) seems like the best option to me, since the way it currently actually works seems the most logical and it fits in with how similar operations work.