Unfixed file pointer.

Unfixed file pointer + some nitpicky formatting stuff.