Formatting on x11 mutex header