tidied (#703)