Fixed another typo (git subtrees are surely a pain)