Bug fixes for tocgen.