Fix formatting for makedoc.lua