minor tweak for thumb push/pop