Fixed styling with 8.11.rkt.