Fix bug introduced by 6a99f6d059