Fix minor error in commit dbc6b92

Fix minor error in commit dbc6b92.