Bug fix in the properties dock layout