Fixing end-of-input error.
Revert to 58ae6742bed8d7a63824b21f93a245598076a062
Reverting back to 58ae6742bed8d7a63824b21f93a245598076a062
Reverting back to a01713f6f4f61247fe966e3cd1baaccb4a390e43
Reverting back to a01713f6f4f61247fe966e3cd1baaccb4a390e43