Documentation markup fixes