more EDN stuff