Final commit. Minor corrections to the comments of both files.