feature #3175: Fix bug