Normally, manuals for Nintendo games always correctly refer to the game by its full name at all time