Tidied a bit of Alg