Clean up for new microworlds
Three-space tabs are silly, going up to four