credits where due :-)