push fix

some files that should have been committed weren't. stupid eclipse.