Fix for issue #9: External links undefined