(No Issue): Fix an installation problem due to a naming mistype.