Fix bug in 8d5089f2ba8183439a866026f3583c377f8bfa74.