fix formatting for intel edison