Temporary hack to work around double slash bug