some corrections, formatting and minor changes

added:
* Prototyping