Marked designated initializer to make Swift happy