Fixes #82 (minitoc generation)