fix typo Paul pointed out, one other