Fix comment as per Luke's request.