minor adjustment (testing XCode5 / Maverick)