Is it ironic that...

The lawnmower didn't work, so I used the manual-push mower to mow the entire lawn. Then when I was done, I tried the regular mower one last time, and it worked.