Fix rendering with mandoc