Fix bug introduced in 47239048037dcfff0c4d34f2734d170f8330b13d