Two small typo fixes