Add small fix to fpsgd/fpsgd.hpp and fpsgd/thread_pool.cpp