Workaround for Codox source bug