GitHub #16: More bugs in [plugin~] hint code