See previous comment - okay to publish