Correct bug in stack.h