Fixed wrong doxy-comment.