Hopefully fixing some weird github derps