correction on TestRelEx.java based on linas comment