Version 0.7.5a - bugfix release