fix ceylondoc tests after Gavin's invasion