fix to 7dbe03188de49b8b329879b2f8370e27ad180726 (subversion > github))