make doc works now

Not sure this is semantically what the original author intended to do...