Small fix in tetrolet.