Update documentation; contract if statement