Slight modifications to clarify which formulations are used