Fix bug introduced by r12827.