Fixed a few Linux-related layout problems (related to issue 7053)