Fixes #811. Fixes reflinks