Fixed silent bugs and inspection issues with spec.

+Reformatted for consistency.
Increased version number.