Smells like a bug in configman.