Fix

Bug fix: yes
Feature addition: no
Backwards compatibility break: no
Todo: -
License of the code: MIT

This PR fix small problem introduced in #1088.