Bug fix: reftex needs to be reset after changing options