[Small adjustments for readability and comments]