Finished doctyping comments at the beginning.