Add a comment for specification