switch to Allman