Minors changes to Real class and header files