Feature #1818: Bug detected