Small semantic fixes to boardpowerup's view