Correct.
Also, in the old manual I was reading last night, it warned not to format / initialise High Density 1440KB diskettes to anything other than 1440KB. It is possible, but unwise, to initialise a 1440KB diskette as either a 400KB or an 800KB diskette when using a 400KB or an 800KB drive, because (from what I remember of what I read), if you ever put a 1440-formatted-as-400 or a 1440-formatted-as-800 into a 1440KB drive, the operating system will report the diskette is unreadable and ask you to initialise it, again.
Also, in the old manual I was reading last night, it warned not to format / initialise High Density 1440KB diskettes to anything other than 1440KB. It is possible, but unwise, to initialise a 1440KB diskette as either a 400KB or an 800KB diskette when using a 400KB or an 800KB drive, because (from what I remember of what I read), if you ever put a 1440-formatted-as-400 or a 1440-formatted-as-800 into a 1440KB drive, the operating system will report the diskette is unreadable and ask you to initialise it, again.