Is it possible to add a citation for this and the comment added in the #else clause?