Fix for possible EmptyStackException