bad habits, you're definitely right. Especially here because I pushed a old commit that I completely forgot..