Test for a bug fix related to flatdoc loading