Fix docu

make '\*/\*' in docs visible again.