They are fine. Names aren't trademarked.