Minor improvements to version 1

Hi! These are some minor improvements me and Nicolai Kraus needed when using the library for our universe truncation level proof. They shouldn't break anything.