Minor fix to comments

Found a place where comments had not been updated after the
application's functionality changed.