Fix an earlier incomplete change (#18)

Corrected change 132eea07499f67f3ee83beea87b8906619130a6e.