minor typo introduced earlier now fixed