fix derby instructions