PS #5.
Remove erroneous end-of-comment.