Correcting github part of #248