Server v1.01: bug with null.foo() fixed