For a while I've been reading J.E.Humphreys's book "Representations of semisimple Lie algebras in the BGG category $\mathcal O$" under the impression that any <a href="http://en.wikipedia.org/wiki/Category_O">module in $\mathcal O$</a> has a finite generating set composed of highest weight vectors. Now I've realised that I'm lacking a proof. So what would serve as a counterexample? Or has my assumption been correct for some reason?

I apologize if the answer can be found further on in the book itself!