Fix GRC after Boxen