fixes for cocoadocs day after the switch to trunk