minor changes to help compilation
name change to see if it matters