This change is ok with me

This is a comment from Peter