Remove minor incompatibility introduced by commit 83cb4dae982bd6e683407ce763b276a812e4c8d5