Fix bug introduced in 0c3dd422aa856772b050f3428db822a398f51087