Fix bug introduced in ed61f53dfc6e5baf969fe8e57d0ebfb04230e67b