small tweak for Autolayout