minor: fix horizontal rules in manual