Add missing colon into a developer-documentation comment