I think this is fine since we have prefix-free. You should also correct your own code accordingly.