trivial fix to comment