Please add a comment for why this regexp is in here.