Fix bug in documentationSpec