Yes, I noticed that.  Also, it should return X.