fixed a little bug in Rule