Build.rkt: Fix bug in formatting.