Revert eafb504..fb9f78d

This rolls back to commit eafb504684f87e73b92774051309d992f52310dc.
tex
Revert fb9f78d..99b5f9b

This rolls back to commit fb9f78dc90d4f00bad2ed8defeb1a3df4d2eb30f.
a