the auto format in playground should do it too