minor fix related to a bug spotted by partner-x