a bug in the test of maximum