Bug fix from typo.