please put the comment on top of the line, so we respect the 80 characters limit from the code conventions