(Forgot to commit Configurable.cpp earlier)