fix edge case bugs in minimize problems, reindent problems.jl using spaces. Fixes #13.