Fix bug introduced in 0e204673.