Bugfix: The board margins were sometimes incorrectly computed.