fixed bug in atMostBox