fix compilation breakage in commit 43e5273