Filled in the blank for a missing comment. #16