Fixed bug that was introduced through the previous commit (r875): a warning message...