These are likely to be defined so it's better to leave it as is.