LURE: Fix some formatting.