Formatting fix; promote @tyrbo's Docker hacking