Let

be a binary code containing the zero word, with fundamental parameters

, and

, and let

be a nonnegative integer such that the words of any fixed weight of

form a

-design, with

maximal in this respect. It is shown that

. Moreover, if

contains the all one word, then

and if

is an even weight code then

. Finally, the following inequality is derived:

, provided that

.