Gmail ICS: How do I mark as not spam?

Question

I've got a Samsung S3, and on my old SGS I could mark a spam as not spam.

How do I do this in my ICS GMail? The feature seems to have healed up.

Others have seen this also:

http://forum.xda-developers.com/showthread.php?t=1525799

Answer 1

You can't mark mails as not spam.
Instead you have to label it inbox. To do this on the bottom action bar, hit labels and tick inbox.

It seems that this is equivalent as all future emails go straight to the inbox.