Fix bug in 3896f553.