Boost-Python: fix doc formatting for real this time