fix Johannes' comments
use shorter URL