ruble Closes #3072.