Another tiny padding tweak