Tweak margin for Ubuntu. Fixes tests.