make Swift happy