Fix github's issue #2725

closes #2725