Default options() is no longer synchronized