Now starts FormalAsync. Fixed a couple of bugs.

Not the image generated still has a fixed size. This needs to be looked
at.