typo, fixes: #542