What I quoted said the empty casing was on the ground. If the casing were stove-piped in the gun, then that would represent a relatively common malfunction. In that scenario, the number of rounds in the magazine would depend upon whether Mr. Zimmerman topped off the magazine after loading the chamber; unless the report gives a number of rounds, however, I wouldn't rely upon the term "full" to distinguish between the topped-off and non-topped-off scenarios (with a ten-round magazine, a gun with nine in the mag and one in the pipe would often be considered "fully loaded", whether or not it would be possible to top of the mag and re-insert it while keeping a round chambered).