Made --maxReal parameter actually work

Change-Id: I068b00cc3532ebff63aa91680c58c1163cff7104