Fixes bug in configuration-module bootstrap code