Small styling bugfix for Linux