Minor tweak to DEVNOTES