Small fixe for #1159