Removed newline.
More work on the static analysis/typechecking pass.