Small bugfix for android