Merged ticket number assignment fix into docs branch.