fix getters for config options

Signed-off-by: Giovanni Vinaccia <vinaccia.giovanni@gmail.com>