small cleanup of Real.__init__