Bugfix: two typos