Remove docco

Don't know how it got there.