Got rid of comment. #857