Fix bug introduced in d9a218ec9be1a4386af722d011df7dc7aa22c826