Bugfix in lookIntoStackTop