Document the "bug" discovered in #15